The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
At present, the workflow technology has been widely used in manufacturing. The people rely more and more on the workflow management system (WfMS), at the same time, people have higher demand on the flexibility, stability, and interactive ability of WfMS. On Rapid Manufacturing (RM) field, there is still no systematic theoretical system in the aspect of the modeling measure in existence and the research...
Creating a portrait in the style of a particular artistic tradition or a particular artist is a difficult and also an interesting problem in non-photorealistic rendering. This paper develops an automatic feature-based portrait generation system, which can transform the input facial photo into a portrait in the style of a given artistpsilas finished work. First, we propose a new face model, which contains...
Modern feature-based CAD system can represent design intent with construction history, feature, parameterization and constraints. Until recently, standards for CAD data exchange among different CAD system were restrict to the exchange of pure geometrical information. This paper discusses the contents, formalization and characteristics of design intent of feature-based CAD models and the information...
Adding semantic annotation for Web page is the foundation on constructing semantic Web. Lexical patterns based annotation methods are adopted by most of the semantic annotation systems. The structures and visual features of Web pages imply valuable semantic information, such as relation between entities, but these features are often ignored by current semantic annotation methods. A hybrid pattern...
The design of the two-way real-time sampling circuit is completed by using TMS320VC5402 as main control chip, and two A/D-D/A converter chip TLV320AIC10 connected in master-slaver mode. The software is programmed by C in conjunction with assembly language, and is compact and efficient. The design of the module has highly practical value.
In this paper, the double starlike graph T(p, n, p - 2), which is coalesced from two stars K1,p and K1,p-2 by identifying the center of K1,p with one end of a path Pn and the center of K1,p-2 with the other end of Pn, is determined by its Laplacian spectrum.
In the existing approaches for performance analysis of WorkFlow nets (WF-nets), there is much restrictive for the time distribution functions of the activities in the model. Because the firing delay of different transitions in the WF-nets may be based on different distribution conditions, this paper introduces Moment Generating Function (MGF). Firstly, this paper integrates the analysis approach for...
We investigate the effects of risk perception in a SIS model for malware propagating in different types of networks such as regular, random and scale-free. We assume that the perception of the risk of being infected rely on the fraction of neighbors that are infected. The effects are mainly affected by two parameters denoted by J and ??, which models the linear response and nonlinear effects respectively...
After analyzing the features of species mass in engine combustion process, considering the accuracy and calculating time together, based on a network for one specie, this paper proposes an algorithm for selecting RBF-ANN centers with sectional method to apply in engine combustion species mass: in the image of species mass fraction-temperature, mass fraction area is divided into N parts dynamically,...
Supervision and audit of medical insurance expenditure is very important to medical insurance expenditure control. In this paper, characteristics of medical service market and strategy of control medical expenditure has been discussed. The paper puts forward a new design method of medical insurance supervision system which is base on active data warehouse and SOA. The system improves real-time performance...
This paper focuses on a newly developed method to detect fraud in empirical papers that are submitted by students. The proposed solution is based on the Compendium Platform and Reproducible Computing which allows the educator to build e-learning environments that are embedded in the pedagogical framework of social constructivism and which can be shown to be effective in terms of non-rote learning...
Temporal logic is widely used to specify hardware and software systems. Reasoning in temporal logic has been used as an algorithmic approach for model checking for automatically verifying whether a hardware or software system functions correctly. In this paper, we present a computational method for direct computation of Groebner bases (GB) in Boolean rings for temporal logic reasoning and model checking...
A novel scheme for installing an application applet efficiently in the Java card platform is investigated. The proposed scheme could improve applet installation time significantly compared to the conventional scheme by fully utilizing available RAM space and a novel asynchronous component transfer mode between off-card and on-card platform.
Many Scientific Groups could obtain significant computational power if they integrated the diverse computational resources and the computational clusters they own. In this paper, we present a methodology to accomplish this without the implementational and administrative complexity that might be imposed by commercial and noncommercial integration frameworks. The proposed methodology also offers the...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.